"setoid" meaning in All languages combined

See setoid on Wiktionary

Noun [English]

Forms: setoids [plural]
Etymology: Etymology tree Middle English set English set Ancient Greek -ο- (-o-)der. Latin -o- Proto-Indo-European *weyd- Proto-Indo-European *-os Proto-Indo-European *wéydos Proto-Hellenic *wéidos Ancient Greek εἶδος (eîdos) Proto-Indo-European *-os Proto-Indo-European *-ēs Proto-Hellenic *-ēs Ancient Greek -ης (-ēs) Ancient Greek -ειδής (-eidḗs) Latin -oīdēslbor. English -oid English setoid From set + -oid. Etymology templates: {{ety|en|:af|set<id:young plant>|-oid|text=+|tree=1}} Etymology tree Middle English set English set Ancient Greek -ο- (-o-)der. Latin -o- Proto-Indo-European *weyd- Proto-Indo-European *-os Proto-Indo-European *wéydos Proto-Hellenic *wéidos Ancient Greek εἶδος (eîdos) Proto-Indo-European *-os Proto-Indo-European *-ēs Proto-Hellenic *-ēs Ancient Greek -ης (-ēs) Ancient Greek -ειδής (-eidḗs) Latin -oīdēslbor. English -oid English setoid [Appendix:Glossary#inherited|Inherited]] from", "keyword" : "inherited" } ], "status" : "ok", "lang_name" : "English", "term" : "set", "lang" : "en" }, { "children" : [ { "keyword_abbrev" : "lbor.", "keyword_label" : "Learned borrowing from", "terms" : [ { "id" : "-oid", "children" : [ { "terms" : [ { "id" : "connective", "children" : [ { "keyword_abbrev" : "der.", "keyword_label" : "Derived from", "terms" : [ { "id" : "connective", "children" : [ ], "status" : "missing", "lang_name" : "Ancient Greek", "term" : "-ο-", "lang" : "grc" } ], "keyword" : "derived" } ], "status" : "ok", "lang_name" : "Latin", "term" : "-o-", "lang" : "la" }, { "id" : "adjectival", "children" : [ { "terms" : [ { "id" : "form", "children" : [ { "terms" : [ { "children" : [ { "terms" : [ { "id" : "seeing", "children" : [ { "terms" : [ { "id" : "see", "children" : [ ], "status" : "ok", "lang_name" : "Proto-Indo-European", "term" : "*weyd-", "lang" : "ine-pro" }, { "id" : "athematic", "children" : [ ], "status" : "ok", "lang_name" : "Proto-Indo-European", "term" : "*-os", "lang" : "ine-pro" } ], "keyword_label" : "From", "is_group" : true, "keyword" : "affix" } ], "status" : "ok", "lang_name" : "Proto-Indo-European", "term" : "*wéydos", "lang" : "ine-pro" } ], "keyword_label" : "Inherited from", "keyword" : "inherited" } ], "lang_name" : "Proto-Hellenic", "term" : "*wéidos", "status" : "inline", "lang" : "grk-pro" } ], "keyword_label" : "Inherited from", "keyword" : "inherited" } ], "status" : "ok", "lang_name" : "Ancient Greek", "term" : "εἶδος", "lang" : "grc" }, { "id" : "adjectival suffix", "children" : [ { "terms" : [ { "alt" : "*-ēs", "lang_name" : "Proto-Hellenic", "status" : "inline", "children" : [ { "terms" : [ { "id" : "adjectival suffix", "children" : [ { "terms" : [ { "is_duplicate" : true, "children" : [ ], "id" : "athematic", "status" : { "1" : "ine-pro", "id" : "athematic", "pos" : "suffix" }, "lang_name" : "Proto-Indo-European", "term" : "*-os", "lang" : "ine-pro" } ], "keyword_label" : "From", "keyword" : "from" } ], "status" : "ok", "lang_name" : "Proto-Indo-European", "term" : "*-ēs", "lang" : "ine-pro" } ], "keyword_label" : "Inherited from", "keyword" : "inherited" } ], "lang" : "grk-pro" } ], "keyword_label" : "Inherited from", "keyword" : "inherited" } ], "status" : "ok", "lang_name" : "Ancient Greek", "term" : "-ης", "lang" : "grc" } ], "keyword_label" : "From", "is_group" : true, "keyword" : "affix" } ], "status" : "ok", "lang_name" : "Ancient Greek", "term" : "-ειδής", "gloss" : "-oid, -like", "lang" : "grc" } ], "keyword_label" : "From", "is_group" : true, "keyword" : "affix" } ], "status" : "ok", "lang_name" : "Latin", "term" : "-oīdēs", "lang" : "la" } ], "keyword" : "lbor" } ], "lang_name" : "English", "term" : "-oid", "status" : "ok", "lang" : "en" } ], "keyword_label" : "From", "is_group" : true, "keyword" : "affix" } ], "lang_name" : "English", "term" : "setoid", "status" : "ok", "lang" : "en" }" data-lang="en" data-title="setoid"> From set + -oid., {{ety|en|:af|set<id:young plant>|-oid|text=+|tree=1}} Etymology tree Middle English set English set Ancient Greek -ο- (-o-)der. Latin -o- Proto-Indo-European *weyd- Proto-Indo-European *-os Proto-Indo-European *wéydos Proto-Hellenic *wéidos Ancient Greek εἶδος (eîdos) Proto-Indo-European *-os Proto-Indo-European *-ēs Proto-Hellenic *-ēs Ancient Greek -ης (-ēs) Ancient Greek -ειδής (-eidḗs) Latin -oīdēslbor. English -oid English setoid From set + -oid. Head templates: {{en-noun}} setoid (plural setoids)
  1. (set theory) A set together with an equivalence relation.

Inflected forms

{
  "etymology_links": [
    [
      "set",
      "set#Middle_English"
    ],
    [
      "set",
      "set#English:_young_plant"
    ],
    [
      "-ο-",
      "-ο-#Ancient_Greek:_connective"
    ],
    [
      "-o-",
      "-o-#Latin:_connective"
    ],
    [
      "*weyd-",
      "Reconstruction:Proto-Indo-European/weyd-#Proto-Indo-European:_see"
    ],
    [
      "*-os",
      "Reconstruction:Proto-Indo-European/-os#Proto-Indo-European:_athematic"
    ],
    [
      "*wéydos",
      "Reconstruction:Proto-Indo-European/wéydos#Proto-Indo-European:_seeing"
    ],
    [
      "*wéidos",
      "Reconstruction:Proto-Hellenic/wéidos"
    ],
    [
      "εἶδος",
      "εἶδος#Ancient_Greek:_form"
    ],
    [
      "*-os",
      "Reconstruction:Proto-Indo-European/-os#Proto-Indo-European:_athematic"
    ],
    [
      "*-ēs",
      "Reconstruction:Proto-Indo-European/-ēs#Proto-Indo-European:_adjectival_suffix"
    ],
    [
      "-ης",
      "-ης#Ancient_Greek:_adjectival_suffix"
    ],
    [
      "-ειδής",
      "-ειδής#Ancient_Greek:_adjectival"
    ],
    [
      "-oīdēs",
      "-oides#Latin:_-oid"
    ],
    [
      "-oid",
      "-oid#English"
    ],
    [
      "set",
      "set#English:_young_plant"
    ],
    [
      "-oid",
      "-oid#English"
    ]
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "set<id:young plant>",
        "4": "-oid",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nMiddle English set\nEnglish set\nAncient Greek -ο- (-o-)der.\nLatin -o-\nProto-Indo-European *weyd-\nProto-Indo-European *-os\nProto-Indo-European *wéydos\nProto-Hellenic *wéidos\nAncient Greek εἶδος (eîdos)\nProto-Indo-European *-os\nProto-Indo-European *-ēs\nProto-Hellenic *-ēs\nAncient Greek -ης (-ēs)\nAncient Greek -ειδής (-eidḗs)\nLatin -oīdēslbor.\nEnglish -oid\nEnglish setoid\n[Appendix:Glossary#inherited|Inherited]] from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"English\", \"term\" : \"set\", \"lang\" : \"en\" }, { \"children\" : [ { \"keyword_abbrev\" : \"lbor.\", \"keyword_label\" : \"Learned borrowing from\", \"terms\" : [ { \"id\" : \"-oid\", \"children\" : [ { \"terms\" : [ { \"id\" : \"connective\", \"children\" : [ { \"keyword_abbrev\" : \"der.\", \"keyword_label\" : \"Derived from\", \"terms\" : [ { \"id\" : \"connective\", \"children\" : [ ], \"status\" : \"missing\", \"lang_name\" : \"Ancient Greek\", \"term\" : \"-ο-\", \"lang\" : \"grc\" } ], \"keyword\" : \"derived\" } ], \"status\" : \"ok\", \"lang_name\" : \"Latin\", \"term\" : \"-o-\", \"lang\" : \"la\" }, { \"id\" : \"adjectival\", \"children\" : [ { \"terms\" : [ { \"id\" : \"form\", \"children\" : [ { \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"seeing\", \"children\" : [ { \"terms\" : [ { \"id\" : \"see\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*weyd-\", \"lang\" : \"ine-pro\" }, { \"id\" : \"athematic\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-os\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*wéydos\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"Proto-Hellenic\", \"term\" : \"*wéidos\", \"status\" : \"inline\", \"lang\" : \"grk-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Ancient Greek\", \"term\" : \"εἶδος\", \"lang\" : \"grc\" }, { \"id\" : \"adjectival suffix\", \"children\" : [ { \"terms\" : [ { \"alt\" : \"*-ēs\", \"lang_name\" : \"Proto-Hellenic\", \"status\" : \"inline\", \"children\" : [ { \"terms\" : [ { \"id\" : \"adjectival suffix\", \"children\" : [ { \"terms\" : [ { \"is_duplicate\" : true, \"children\" : [ ], \"id\" : \"athematic\", \"status\" : { \"1\" : \"ine-pro\", \"id\" : \"athematic\", \"pos\" : \"suffix\" }, \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-os\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-ēs\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang\" : \"grk-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Ancient Greek\", \"term\" : \"-ης\", \"lang\" : \"grc\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"status\" : \"ok\", \"lang_name\" : \"Ancient Greek\", \"term\" : \"-ειδής\", \"gloss\" : \"-oid, -like\", \"lang\" : \"grc\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"status\" : \"ok\", \"lang_name\" : \"Latin\", \"term\" : \"-oīdēs\", \"lang\" : \"la\" } ], \"keyword\" : \"lbor\" } ], \"lang_name\" : \"English\", \"term\" : \"-oid\", \"status\" : \"ok\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"setoid\", \"status\" : \"ok\", \"lang\" : \"en\" }\" data-lang=\"en\" data-title=\"setoid\">\nFrom set + -oid.",
      "name": "ety"
    },
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "set<id:young plant>",
        "4": "-oid",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nMiddle English set\nEnglish set\nAncient Greek -ο- (-o-)der.\nLatin -o-\nProto-Indo-European *weyd-\nProto-Indo-European *-os\nProto-Indo-European *wéydos\nProto-Hellenic *wéidos\nAncient Greek εἶδος (eîdos)\nProto-Indo-European *-os\nProto-Indo-European *-ēs\nProto-Hellenic *-ēs\nAncient Greek -ης (-ēs)\nAncient Greek -ειδής (-eidḗs)\nLatin -oīdēslbor.\nEnglish -oid\nEnglish setoid\nFrom set + -oid.",
      "name": "ety"
    }
  ],
  "etymology_text": "Etymology tree\nMiddle English set\nEnglish set\nAncient Greek -ο- (-o-)der.\nLatin -o-\nProto-Indo-European *weyd-\nProto-Indo-European *-os\nProto-Indo-European *wéydos\nProto-Hellenic *wéidos\nAncient Greek εἶδος (eîdos)\nProto-Indo-European *-os\nProto-Indo-European *-ēs\nProto-Hellenic *-ēs\nAncient Greek -ης (-ēs)\nAncient Greek -ειδής (-eidḗs)\nLatin -oīdēslbor.\nEnglish -oid\nEnglish setoid\nFrom set + -oid.",
  "forms": [
    {
      "form": "setoids",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "setoid (plural setoids)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with etymology texts",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with etymology trees",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with etymon",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms suffixed with -oid",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages using etymon with no ID",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with etymology trees",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with etymon",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Set theory",
          "orig": "en:Set theory",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "A set together with an equivalence relation."
      ],
      "id": "en-setoid-en-noun-~L99IlkK",
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "set",
          "set"
        ],
        [
          "equivalence relation",
          "equivalence relation"
        ]
      ],
      "raw_glosses": [
        "(set theory) A set together with an equivalence relation."
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ]
    }
  ],
  "word": "setoid"
}
{
  "etymology_links": [
    [
      "set",
      "set#Middle_English"
    ],
    [
      "set",
      "set#English:_young_plant"
    ],
    [
      "-ο-",
      "-ο-#Ancient_Greek:_connective"
    ],
    [
      "-o-",
      "-o-#Latin:_connective"
    ],
    [
      "*weyd-",
      "Reconstruction:Proto-Indo-European/weyd-#Proto-Indo-European:_see"
    ],
    [
      "*-os",
      "Reconstruction:Proto-Indo-European/-os#Proto-Indo-European:_athematic"
    ],
    [
      "*wéydos",
      "Reconstruction:Proto-Indo-European/wéydos#Proto-Indo-European:_seeing"
    ],
    [
      "*wéidos",
      "Reconstruction:Proto-Hellenic/wéidos"
    ],
    [
      "εἶδος",
      "εἶδος#Ancient_Greek:_form"
    ],
    [
      "*-os",
      "Reconstruction:Proto-Indo-European/-os#Proto-Indo-European:_athematic"
    ],
    [
      "*-ēs",
      "Reconstruction:Proto-Indo-European/-ēs#Proto-Indo-European:_adjectival_suffix"
    ],
    [
      "-ης",
      "-ης#Ancient_Greek:_adjectival_suffix"
    ],
    [
      "-ειδής",
      "-ειδής#Ancient_Greek:_adjectival"
    ],
    [
      "-oīdēs",
      "-oides#Latin:_-oid"
    ],
    [
      "-oid",
      "-oid#English"
    ],
    [
      "set",
      "set#English:_young_plant"
    ],
    [
      "-oid",
      "-oid#English"
    ]
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "set<id:young plant>",
        "4": "-oid",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nMiddle English set\nEnglish set\nAncient Greek -ο- (-o-)der.\nLatin -o-\nProto-Indo-European *weyd-\nProto-Indo-European *-os\nProto-Indo-European *wéydos\nProto-Hellenic *wéidos\nAncient Greek εἶδος (eîdos)\nProto-Indo-European *-os\nProto-Indo-European *-ēs\nProto-Hellenic *-ēs\nAncient Greek -ης (-ēs)\nAncient Greek -ειδής (-eidḗs)\nLatin -oīdēslbor.\nEnglish -oid\nEnglish setoid\n[Appendix:Glossary#inherited|Inherited]] from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"English\", \"term\" : \"set\", \"lang\" : \"en\" }, { \"children\" : [ { \"keyword_abbrev\" : \"lbor.\", \"keyword_label\" : \"Learned borrowing from\", \"terms\" : [ { \"id\" : \"-oid\", \"children\" : [ { \"terms\" : [ { \"id\" : \"connective\", \"children\" : [ { \"keyword_abbrev\" : \"der.\", \"keyword_label\" : \"Derived from\", \"terms\" : [ { \"id\" : \"connective\", \"children\" : [ ], \"status\" : \"missing\", \"lang_name\" : \"Ancient Greek\", \"term\" : \"-ο-\", \"lang\" : \"grc\" } ], \"keyword\" : \"derived\" } ], \"status\" : \"ok\", \"lang_name\" : \"Latin\", \"term\" : \"-o-\", \"lang\" : \"la\" }, { \"id\" : \"adjectival\", \"children\" : [ { \"terms\" : [ { \"id\" : \"form\", \"children\" : [ { \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"seeing\", \"children\" : [ { \"terms\" : [ { \"id\" : \"see\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*weyd-\", \"lang\" : \"ine-pro\" }, { \"id\" : \"athematic\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-os\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*wéydos\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"Proto-Hellenic\", \"term\" : \"*wéidos\", \"status\" : \"inline\", \"lang\" : \"grk-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Ancient Greek\", \"term\" : \"εἶδος\", \"lang\" : \"grc\" }, { \"id\" : \"adjectival suffix\", \"children\" : [ { \"terms\" : [ { \"alt\" : \"*-ēs\", \"lang_name\" : \"Proto-Hellenic\", \"status\" : \"inline\", \"children\" : [ { \"terms\" : [ { \"id\" : \"adjectival suffix\", \"children\" : [ { \"terms\" : [ { \"is_duplicate\" : true, \"children\" : [ ], \"id\" : \"athematic\", \"status\" : { \"1\" : \"ine-pro\", \"id\" : \"athematic\", \"pos\" : \"suffix\" }, \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-os\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*-ēs\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang\" : \"grk-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Ancient Greek\", \"term\" : \"-ης\", \"lang\" : \"grc\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"status\" : \"ok\", \"lang_name\" : \"Ancient Greek\", \"term\" : \"-ειδής\", \"gloss\" : \"-oid, -like\", \"lang\" : \"grc\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"status\" : \"ok\", \"lang_name\" : \"Latin\", \"term\" : \"-oīdēs\", \"lang\" : \"la\" } ], \"keyword\" : \"lbor\" } ], \"lang_name\" : \"English\", \"term\" : \"-oid\", \"status\" : \"ok\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"setoid\", \"status\" : \"ok\", \"lang\" : \"en\" }\" data-lang=\"en\" data-title=\"setoid\">\nFrom set + -oid.",
      "name": "ety"
    },
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "set<id:young plant>",
        "4": "-oid",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nMiddle English set\nEnglish set\nAncient Greek -ο- (-o-)der.\nLatin -o-\nProto-Indo-European *weyd-\nProto-Indo-European *-os\nProto-Indo-European *wéydos\nProto-Hellenic *wéidos\nAncient Greek εἶδος (eîdos)\nProto-Indo-European *-os\nProto-Indo-European *-ēs\nProto-Hellenic *-ēs\nAncient Greek -ης (-ēs)\nAncient Greek -ειδής (-eidḗs)\nLatin -oīdēslbor.\nEnglish -oid\nEnglish setoid\nFrom set + -oid.",
      "name": "ety"
    }
  ],
  "etymology_text": "Etymology tree\nMiddle English set\nEnglish set\nAncient Greek -ο- (-o-)der.\nLatin -o-\nProto-Indo-European *weyd-\nProto-Indo-European *-os\nProto-Indo-European *wéydos\nProto-Hellenic *wéidos\nAncient Greek εἶδος (eîdos)\nProto-Indo-European *-os\nProto-Indo-European *-ēs\nProto-Hellenic *-ēs\nAncient Greek -ης (-ēs)\nAncient Greek -ειδής (-eidḗs)\nLatin -oīdēslbor.\nEnglish -oid\nEnglish setoid\nFrom set + -oid.",
  "forms": [
    {
      "form": "setoids",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "setoid (plural setoids)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with etymology texts",
        "English entries with etymology trees",
        "English entries with etymon",
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English terms derived from the Proto-Indo-European root *weyd-",
        "English terms suffixed with -oid",
        "Pages using etymon with no ID",
        "Pages with 1 entry",
        "Pages with entries",
        "Pages with etymology trees",
        "Pages with etymon",
        "en:Set theory"
      ],
      "glosses": [
        "A set together with an equivalence relation."
      ],
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "set",
          "set"
        ],
        [
          "equivalence relation",
          "equivalence relation"
        ]
      ],
      "raw_glosses": [
        "(set theory) A set together with an equivalence relation."
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ]
    }
  ],
  "word": "setoid"
}

Download raw JSONL data for setoid meaning in All languages combined (6.9kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2026-10-25 from the enwiktionary dump dated 2026-10-01 using wiktextract (f9fe161 and 6f96ddf). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.